Optimal. Leaf size=205 \[ \frac {2 (8 A-3 B) \tan ^5(e+f x)}{165 a^3 c^6 f}+\frac {4 (8 A-3 B) \tan ^3(e+f x)}{99 a^3 c^6 f}+\frac {2 (8 A-3 B) \tan (e+f x)}{33 a^3 c^6 f}+\frac {(8 A-3 B) \sec ^5(e+f x)}{99 a^3 f \left (c^6-c^6 \sin (e+f x)\right )}+\frac {(8 A-3 B) \sec ^5(e+f x)}{99 a^3 f \left (c^3-c^3 \sin (e+f x)\right )^2}+\frac {(A+B) \sec ^5(e+f x)}{11 a^3 f \left (c^2-c^2 \sin (e+f x)\right )^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.35, antiderivative size = 205, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 4, integrand size = 36, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.111, Rules used = {2967, 2859, 2672, 3767} \[ \frac {2 (8 A-3 B) \tan ^5(e+f x)}{165 a^3 c^6 f}+\frac {4 (8 A-3 B) \tan ^3(e+f x)}{99 a^3 c^6 f}+\frac {2 (8 A-3 B) \tan (e+f x)}{33 a^3 c^6 f}+\frac {(8 A-3 B) \sec ^5(e+f x)}{99 a^3 f \left (c^6-c^6 \sin (e+f x)\right )}+\frac {(8 A-3 B) \sec ^5(e+f x)}{99 a^3 f \left (c^3-c^3 \sin (e+f x)\right )^2}+\frac {(A+B) \sec ^5(e+f x)}{11 a^3 f \left (c^2-c^2 \sin (e+f x)\right )^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2672
Rule 2859
Rule 2967
Rule 3767
Rubi steps
\begin {align*} \int \frac {A+B \sin (e+f x)}{(a+a \sin (e+f x))^3 (c-c \sin (e+f x))^6} \, dx &=\frac {\int \frac {\sec ^6(e+f x) (A+B \sin (e+f x))}{(c-c \sin (e+f x))^3} \, dx}{a^3 c^3}\\ &=\frac {(A+B) \sec ^5(e+f x)}{11 a^3 f \left (c^2-c^2 \sin (e+f x)\right )^3}+\frac {(8 A-3 B) \int \frac {\sec ^6(e+f x)}{(c-c \sin (e+f x))^2} \, dx}{11 a^3 c^4}\\ &=\frac {(A+B) \sec ^5(e+f x)}{11 a^3 f \left (c^2-c^2 \sin (e+f x)\right )^3}+\frac {(8 A-3 B) \sec ^5(e+f x)}{99 a^3 f \left (c^3-c^3 \sin (e+f x)\right )^2}+\frac {(7 (8 A-3 B)) \int \frac {\sec ^6(e+f x)}{c-c \sin (e+f x)} \, dx}{99 a^3 c^5}\\ &=\frac {(A+B) \sec ^5(e+f x)}{11 a^3 f \left (c^2-c^2 \sin (e+f x)\right )^3}+\frac {(8 A-3 B) \sec ^5(e+f x)}{99 a^3 f \left (c^3-c^3 \sin (e+f x)\right )^2}+\frac {(8 A-3 B) \sec ^5(e+f x)}{99 a^3 f \left (c^6-c^6 \sin (e+f x)\right )}+\frac {(2 (8 A-3 B)) \int \sec ^6(e+f x) \, dx}{33 a^3 c^6}\\ &=\frac {(A+B) \sec ^5(e+f x)}{11 a^3 f \left (c^2-c^2 \sin (e+f x)\right )^3}+\frac {(8 A-3 B) \sec ^5(e+f x)}{99 a^3 f \left (c^3-c^3 \sin (e+f x)\right )^2}+\frac {(8 A-3 B) \sec ^5(e+f x)}{99 a^3 f \left (c^6-c^6 \sin (e+f x)\right )}-\frac {(2 (8 A-3 B)) \operatorname {Subst}\left (\int \left (1+2 x^2+x^4\right ) \, dx,x,-\tan (e+f x)\right )}{33 a^3 c^6 f}\\ &=\frac {(A+B) \sec ^5(e+f x)}{11 a^3 f \left (c^2-c^2 \sin (e+f x)\right )^3}+\frac {(8 A-3 B) \sec ^5(e+f x)}{99 a^3 f \left (c^3-c^3 \sin (e+f x)\right )^2}+\frac {(8 A-3 B) \sec ^5(e+f x)}{99 a^3 f \left (c^6-c^6 \sin (e+f x)\right )}+\frac {2 (8 A-3 B) \tan (e+f x)}{33 a^3 c^6 f}+\frac {4 (8 A-3 B) \tan ^3(e+f x)}{99 a^3 c^6 f}+\frac {2 (8 A-3 B) \tan ^5(e+f x)}{165 a^3 c^6 f}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 3.55, size = 401, normalized size = 1.96 \[ \frac {-3850 (107 A-3 B) \cos (e+f x)+135168 (8 A-3 B) \cos (2 (e+f x))+1802240 A \sin (e+f x)+247170 A \sin (2 (e+f x))+557056 A \sin (3 (e+f x))+187250 A \sin (4 (e+f x))-163840 A \sin (5 (e+f x))+37450 A \sin (6 (e+f x))-98304 A \sin (7 (e+f x))-3745 A \sin (8 (e+f x))-127330 A \cos (3 (e+f x))+819200 A \cos (4 (e+f x))+37450 A \cos (5 (e+f x))+163840 A \cos (6 (e+f x))+22470 A \cos (7 (e+f x))-16384 A \cos (8 (e+f x))-675840 B \sin (e+f x)-6930 B \sin (2 (e+f x))-208896 B \sin (3 (e+f x))-5250 B \sin (4 (e+f x))+61440 B \sin (5 (e+f x))-1050 B \sin (6 (e+f x))+36864 B \sin (7 (e+f x))+105 B \sin (8 (e+f x))+3570 B \cos (3 (e+f x))-307200 B \cos (4 (e+f x))-1050 B \cos (5 (e+f x))-61440 B \cos (6 (e+f x))-630 B \cos (7 (e+f x))+6144 B \cos (8 (e+f x))+1013760 B}{8110080 a^3 c^6 f \left (\cos \left (\frac {1}{2} (e+f x)\right )-\sin \left (\frac {1}{2} (e+f x)\right )\right )^{11} \left (\sin \left (\frac {1}{2} (e+f x)\right )+\cos \left (\frac {1}{2} (e+f x)\right )\right )^5} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.46, size = 221, normalized size = 1.08 \[ \frac {16 \, {\left (8 \, A - 3 \, B\right )} \cos \left (f x + e\right )^{8} - 72 \, {\left (8 \, A - 3 \, B\right )} \cos \left (f x + e\right )^{6} + 30 \, {\left (8 \, A - 3 \, B\right )} \cos \left (f x + e\right )^{4} + 7 \, {\left (8 \, A - 3 \, B\right )} \cos \left (f x + e\right )^{2} + {\left (48 \, {\left (8 \, A - 3 \, B\right )} \cos \left (f x + e\right )^{6} - 40 \, {\left (8 \, A - 3 \, B\right )} \cos \left (f x + e\right )^{4} - 14 \, {\left (8 \, A - 3 \, B\right )} \cos \left (f x + e\right )^{2} - 72 \, A + 27 \, B\right )} \sin \left (f x + e\right ) + 27 \, A - 72 \, B}{495 \, {\left (3 \, a^{3} c^{6} f \cos \left (f x + e\right )^{7} - 4 \, a^{3} c^{6} f \cos \left (f x + e\right )^{5} - {\left (a^{3} c^{6} f \cos \left (f x + e\right )^{7} - 4 \, a^{3} c^{6} f \cos \left (f x + e\right )^{5}\right )} \sin \left (f x + e\right )\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.30, size = 475, normalized size = 2.32 \[ -\frac {\frac {33 \, {\left (555 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{4} - 315 \, B \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{4} + 1920 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - 1020 \, B \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 2710 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - 1410 \, B \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} + 1760 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 900 \, B \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 463 \, A - 243 \, B\right )}}{a^{3} c^{6} {\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 1\right )}^{5}} + \frac {108405 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{10} + 10395 \, B \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{10} - 784080 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{9} - 5940 \, B \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{9} + 2901195 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{8} - 79695 \, B \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{8} - 6652800 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{7} + 388080 \, B \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{7} + 10407474 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{6} - 816354 \, B \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{6} - 11435424 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{5} + 1114344 \, B \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{5} + 8949270 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{4} - 990990 \, B \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{4} - 4899840 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 609840 \, B \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 1816265 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - 235785 \, B \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - 411664 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 56364 \, B \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 47279 \, A - 4179 \, B}{a^{3} c^{6} {\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 1\right )}^{11}}}{63360 \, f} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.51, size = 365, normalized size = 1.78 \[ \frac {-\frac {2 \left (4 A +4 B \right )}{11 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{11}}-\frac {20 A +20 B}{5 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{10}}-\frac {2 \left (53 A +51 B \right )}{9 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{9}}-\frac {92 A +84 B}{4 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{8}}-\frac {\frac {169 A}{4}+\frac {99 B}{4}}{2 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{4}}-\frac {\frac {217 A}{2}+84 B}{3 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{6}}-\frac {2 \left (\frac {219 A}{256}+\frac {21 B}{256}\right )}{\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1}-\frac {2 \left (\frac {231 A}{2}+98 B \right )}{7 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{7}}-\frac {\frac {303 A}{64}+\frac {99 B}{64}}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{2}}-\frac {2 \left (\frac {623 A}{8}+\frac {427 B}{8}\right )}{5 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{5}}-\frac {2 \left (\frac {1095 A}{64}+\frac {507 B}{64}\right )}{3 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{3}}-\frac {-\frac {5 A}{32}+\frac {B}{8}}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1\right )^{2}}-\frac {-\frac {A}{8}+\frac {B}{8}}{2 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1\right )^{4}}-\frac {2 \left (\frac {A}{16}-\frac {B}{16}\right )}{5 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1\right )^{5}}-\frac {2 \left (\frac {7 A}{32}-\frac {3 B}{16}\right )}{3 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1\right )^{3}}-\frac {2 \left (\frac {37 A}{256}-\frac {21 B}{256}\right )}{\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1}}{f \,a^{3} c^{6}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.58, size = 1387, normalized size = 6.77 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 14.52, size = 474, normalized size = 2.31 \[ \frac {2\,\left (\frac {165\,B\,\sin \left (e+f\,x\right )}{4}-\frac {6875\,A\,\cos \left (e+f\,x\right )}{64}-\frac {825\,B\,\cos \left (e+f\,x\right )}{64}-110\,A\,\sin \left (e+f\,x\right )-\frac {495\,B}{8}-66\,A\,\cos \left (2\,e+2\,f\,x\right )-\frac {2125\,A\,\cos \left (3\,e+3\,f\,x\right )}{64}-50\,A\,\cos \left (4\,e+4\,f\,x\right )+\frac {625\,A\,\cos \left (5\,e+5\,f\,x\right )}{64}-10\,A\,\cos \left (6\,e+6\,f\,x\right )+\frac {375\,A\,\cos \left (7\,e+7\,f\,x\right )}{64}+A\,\cos \left (8\,e+8\,f\,x\right )+\frac {99\,B\,\cos \left (2\,e+2\,f\,x\right )}{4}-\frac {255\,B\,\cos \left (3\,e+3\,f\,x\right )}{64}+\frac {75\,B\,\cos \left (4\,e+4\,f\,x\right )}{4}+\frac {75\,B\,\cos \left (5\,e+5\,f\,x\right )}{64}+\frac {15\,B\,\cos \left (6\,e+6\,f\,x\right )}{4}+\frac {45\,B\,\cos \left (7\,e+7\,f\,x\right )}{64}-\frac {3\,B\,\cos \left (8\,e+8\,f\,x\right )}{8}+\frac {4125\,A\,\sin \left (2\,e+2\,f\,x\right )}{64}-34\,A\,\sin \left (3\,e+3\,f\,x\right )+\frac {3125\,A\,\sin \left (4\,e+4\,f\,x\right )}{64}+10\,A\,\sin \left (5\,e+5\,f\,x\right )+\frac {625\,A\,\sin \left (6\,e+6\,f\,x\right )}{64}+6\,A\,\sin \left (7\,e+7\,f\,x\right )-\frac {125\,A\,\sin \left (8\,e+8\,f\,x\right )}{128}+\frac {495\,B\,\sin \left (2\,e+2\,f\,x\right )}{64}+\frac {51\,B\,\sin \left (3\,e+3\,f\,x\right )}{4}+\frac {375\,B\,\sin \left (4\,e+4\,f\,x\right )}{64}-\frac {15\,B\,\sin \left (5\,e+5\,f\,x\right )}{4}+\frac {75\,B\,\sin \left (6\,e+6\,f\,x\right )}{64}-\frac {9\,B\,\sin \left (7\,e+7\,f\,x\right )}{4}-\frac {15\,B\,\sin \left (8\,e+8\,f\,x\right )}{128}\right )}{495\,a^3\,c^6\,f\,\left (\frac {5\,\cos \left (5\,e+5\,f\,x\right )}{32}-\frac {17\,\cos \left (3\,e+3\,f\,x\right )}{32}-\frac {55\,\cos \left (e+f\,x\right )}{32}+\frac {3\,\cos \left (7\,e+7\,f\,x\right )}{32}+\frac {33\,\sin \left (2\,e+2\,f\,x\right )}{32}+\frac {25\,\sin \left (4\,e+4\,f\,x\right )}{32}+\frac {5\,\sin \left (6\,e+6\,f\,x\right )}{32}-\frac {\sin \left (8\,e+8\,f\,x\right )}{64}\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________